Processos e Concorrência

Licenciatura em Ciências da Computação

Cancel

Search: ^p

Education/PeC Web	Changed	Changed by

PeC0708	21 Feb 2010 - 20:01 - r2	LuisSoaresBarbosa
Processos e Concorrência Edição 2007 08 Índice Apresentação Esta disciplina tem por objectivo introduzir técnicas de modelação e análise de sistemas concorrentes ...

PeC0910	13 Mar 2011 - 02:08 - r22	LuisSoaresBarbosa
Processos e Concorrência Edição 2009 10 Índice Objectivos Este curso tem por objectivo o estudo de sistemas reactivos , com ênfase na sua composição concorrente ...

PeC1011	27 Jul 2011 - 00:11 - r10	LuisSoaresBarbosa
Processos e Concorrência Edição 2010 11 Índice Objectivos Este curso tem por objectivo o estudo de sistemas reactivos , com ênfase na sua composição concorrente ...

PeC1112	15 Sep 2012 - 20:51 - r11	LuisSoaresBarbosa
Processos e Concorrência Edição 2011 12 Índice Objectivos Este curso tem por objectivo o estudo de sistemas reactivos , com ênfase na sua composição concorrente ...

PeC1213	18 Feb 2015 - 01:12 - r19	LuisSoaresBarbosa
Processos e Concorrência Edição 2012 13 Índice Objectivos Este curso tem por objectivo o estudo de sistemas reactivos , com ênfase na sua composição concorrente ...

Programa	07 Mar 2007 - 14:19 - r4	AlcinoCunha
Redes de Petri Modelação de sistemas concorrentes com redes de Petri. Semântica operacional baseada em sistemas de transição de estados. Propriedades ...

Projectos	21 Feb 2010 - 17:12 - r3	LuisSoaresBarbosa
Pipe2smv Conversor de ficheiros do Pipe para o formato do SMV. Todos os lugares devem ter capacidade limitada, ou então usar a opção c para definir a capacidade m ...

Found 7 topics.

Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.

Syndicate this site RSS ATOM